TAGs: Sequence solver